Synchronization expressions and languages
نویسندگان
چکیده
Synchronization expressions (SEs) were originally developed as practical high-level constructs for specifying synchronization constraints between parallel processes. The family of synchronization languages was introduced to give a precise semantic description for synchronization expressions. In addition to its use for de ning the meaning of SEs, the family of synchronization languages is interesting on its own from a formal languages point of view. We consider two variants of the de nition of synchronization languages, and survey characterization results for the language families. Synchronization languages also provide us a systematic approach for the implementation and simpli cation of SEs.
منابع مشابه
Synchronization Expressions: Characterization Results and Implementation
Synchronization expressions are deened as restricted regular expressions that specify synchronization constraints between parallel processes and their semantics is deened using synchronization languages. In this paper we survey results on synchronization languages, in particular various approaches to obtain an exact characterization of this language class using closure properties under a set of...
متن کاملPragmatic expressions in cross-linguistic perspective
This paper focuses on some pragmatic expressions that are characteristic of informal spoken English, their possible equivalents in some other languages, and their use by EFL learners from different backgrounds. These expressions, called general extenders (e.g. and stuff, or something), are shown to be different from discourse markers and to exhibit variation in form, funct...
متن کاملDynamical behavior and synchronization of hyperchaotic complex T-system
In this paper, we introduce a new hyperchaotic complex T-system. This system has complex nonlinear behavior which we study its dynamical properties including invariance, equilibria and their stability, Lyapunov exponents, bifurcation, chaotic behavior and chaotic attractors as well as necessary conditions for this system to generate chaos. We discuss the synchronization with certain and uncerta...
متن کاملThe Relationship between Cultural Intelligence and Expressions of Gratitude among Iranian Upper-Intermediate EFL Learners
This study investigated the relationship between cultural intelligence and the use of expressions of gratitude among Iranian upper intermediate EFL learners. 50 upper intermediate learners were selected through purposive sampling, with their proficiency level being controlled. A discourse completion test (DCT) for the expressions of gratitude and a cultural intelligence scale were given to the ...
متن کاملThe Inductive Inference of Finite Interleaving with Synchronization
The exact identiication of nite interleaving expressions over a xed alphabet using positive example traces is investigated. A restricted language containing interleaving and synchronization is studied. This language is of interest because synchronized interleaving is a central concept in the semantics of concurrency. The inference technique exploits the fact that the interleaving operator is or...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994